1. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
2. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
3. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. The L.E.J. Brouwer Centenary Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : 1966. ; Constructive mathematics ; Congresses. ; Intuitionistic mathematics ; Congresses. ; -Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
5. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. Van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
6. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. van Dalen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
